Revision: tla-tools--devo--0--patch-2
Archive: miles@gnu.org--gnu-2005
Creator: Miles Bader <miles@gnu.org>
Date: Mon Feb 14 09:38:49 JST 2005
Standard-date: 2005-02-14 00:38:49 GMT
Modified-files: tla-switch.shpp
New-patches: miles@gnu.org--gnu-2005/tla-tools--devo--0--patch-2
Summary: tla-switch: Make sure switching changeset is applied to tree-root

